$\forall$$x$,$y$:Atom. ($\uparrow$$x$ =a $y$) $\Leftarrow\!\Rightarrow$ ($x$ = $y$)